Temporal sampling annealing schemes for receding horizon multi-agent planning
نویسندگان
چکیده
منابع مشابه
: A Software Toolbox for Receding Horizon Temporal Logic Planning
This paper describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon planning. The underlying ...
متن کاملTechnical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
This technical report is an extended version of the paper ’A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints’ accepted to the 2013 IEEE International Conference on Robotics and Automation (ICRA). This paper considers the problem of finding the most informative path for a sensing robot under temporal logic constraints, a richer set of constraints than hav...
متن کاملRobust Constrained Receding Horizon Control for Trajectory Planning
This paper presents a receding horizon controller (RHC) that can be used to design trajectories for an aerial vehicle operating in an environment with disturbances. Various constraints are imposed in the problem, such as turning rate limits and bounds on the vehicle speed, and target regions and no-fly zones are included in the environment. The proposed algorithm modifies these constraints to e...
متن کاملTrajectory Planning for Unmanned Vehicles using Robust Receding Horizon Control
This thesis presents several trajectory optimization algorithms for a team of cooperating unmanned vehicles operating in an uncertain and dynamic environment. The first, designed for a single vehicle, is the Robust Safe But Knowledgeable (RSBK) algorithm, which combines several previously published approaches to recover the main advantages of each. This includes a sophisticated cost-to-go funct...
متن کاملExperimental Analysis of Receding Horizon Planning Algorithms for Marine Monitoring
Autonomous surface vehicles (ASV) are becoming more widely used in environmental monitoring applications. Due to the limited duration of these vehicles, algorithms need to be developed to save energy and maximize monitoring efficiency. This paper compares receding horizon path planning models for their effectiveness at collecting usable data in an aquatic environment. An adaptive receding horiz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics and Autonomous Systems
سال: 2021
ISSN: 0921-8890
DOI: 10.1016/j.robot.2021.103823